(declare-const arr-414726656414253458_-8019474897564551692-0 (Array (_ BitVec 8) Bool))
(declare-const _8-1 (_ BitVec 8))
(assert (= (store arr-414726656414253458_-8019474897564551692-0 (bvadd _8-1 _8-1) true) arr-414726656414253458_-8019474897564551692-0))
(check-sat)
